Optimal. Leaf size=343 \[ -\frac{2 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-8 b e g+c d g+15 c e f)}{195 c^2 e^2 \sqrt{d+e x}}-\frac{4 (2 c d-b e) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-8 b e g+c d g+15 c e f)}{715 c^3 e^2 (d+e x)^{3/2}}-\frac{16 (2 c d-b e)^2 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-8 b e g+c d g+15 c e f)}{6435 c^4 e^2 (d+e x)^{5/2}}-\frac{32 (2 c d-b e)^3 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-8 b e g+c d g+15 c e f)}{45045 c^5 e^2 (d+e x)^{7/2}}-\frac{2 g \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{15 c e^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.574929, antiderivative size = 343, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 3, integrand size = 46, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.065, Rules used = {794, 656, 648} \[ -\frac{2 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-8 b e g+c d g+15 c e f)}{195 c^2 e^2 \sqrt{d+e x}}-\frac{4 (2 c d-b e) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-8 b e g+c d g+15 c e f)}{715 c^3 e^2 (d+e x)^{3/2}}-\frac{16 (2 c d-b e)^2 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-8 b e g+c d g+15 c e f)}{6435 c^4 e^2 (d+e x)^{5/2}}-\frac{32 (2 c d-b e)^3 \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2} (-8 b e g+c d g+15 c e f)}{45045 c^5 e^2 (d+e x)^{7/2}}-\frac{2 g \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{15 c e^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 794
Rule 656
Rule 648
Rubi steps
\begin{align*} \int \sqrt{d+e x} (f+g x) \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2} \, dx &=-\frac{2 g \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{15 c e^2}-\frac{\left (2 \left (\frac{7}{2} e \left (-2 c e^2 f+b e^2 g\right )+\frac{1}{2} \left (-c e^3 f+\left (-c d e^2+b e^3\right ) g\right )\right )\right ) \int \sqrt{d+e x} \left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2} \, dx}{15 c e^3}\\ &=-\frac{2 (15 c e f+c d g-8 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{195 c^2 e^2 \sqrt{d+e x}}-\frac{2 g \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{15 c e^2}+\frac{(2 (2 c d-b e) (15 c e f+c d g-8 b e g)) \int \frac{\left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2}}{\sqrt{d+e x}} \, dx}{65 c^2 e}\\ &=-\frac{4 (2 c d-b e) (15 c e f+c d g-8 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{715 c^3 e^2 (d+e x)^{3/2}}-\frac{2 (15 c e f+c d g-8 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{195 c^2 e^2 \sqrt{d+e x}}-\frac{2 g \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{15 c e^2}+\frac{\left (8 (2 c d-b e)^2 (15 c e f+c d g-8 b e g)\right ) \int \frac{\left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2}}{(d+e x)^{3/2}} \, dx}{715 c^3 e}\\ &=-\frac{16 (2 c d-b e)^2 (15 c e f+c d g-8 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{6435 c^4 e^2 (d+e x)^{5/2}}-\frac{4 (2 c d-b e) (15 c e f+c d g-8 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{715 c^3 e^2 (d+e x)^{3/2}}-\frac{2 (15 c e f+c d g-8 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{195 c^2 e^2 \sqrt{d+e x}}-\frac{2 g \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{15 c e^2}+\frac{\left (16 (2 c d-b e)^3 (15 c e f+c d g-8 b e g)\right ) \int \frac{\left (c d^2-b d e-b e^2 x-c e^2 x^2\right )^{5/2}}{(d+e x)^{5/2}} \, dx}{6435 c^4 e}\\ &=-\frac{32 (2 c d-b e)^3 (15 c e f+c d g-8 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{45045 c^5 e^2 (d+e x)^{7/2}}-\frac{16 (2 c d-b e)^2 (15 c e f+c d g-8 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{6435 c^4 e^2 (d+e x)^{5/2}}-\frac{4 (2 c d-b e) (15 c e f+c d g-8 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{715 c^3 e^2 (d+e x)^{3/2}}-\frac{2 (15 c e f+c d g-8 b e g) \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{195 c^2 e^2 \sqrt{d+e x}}-\frac{2 g \sqrt{d+e x} \left (d (c d-b e)-b e^2 x-c e^2 x^2\right )^{7/2}}{15 c e^2}\\ \end{align*}
Mathematica [A] time = 0.314809, size = 264, normalized size = 0.77 \[ \frac{2 (b e-c d+c e x)^3 \sqrt{(d+e x) (c (d-e x)-b e)} \left (24 b^2 c^2 e^2 \left (187 d^2 g+d e (95 f+161 g x)+7 e^2 x (5 f+6 g x)\right )-16 b^3 c e^3 (77 d g+15 e f+28 e g x)+128 b^4 e^4 g-2 b c^3 e \left (d^2 e (4065 f+5922 g x)+3611 d^3 g+21 d e^2 x (170 f+183 g x)+21 e^3 x^2 (45 f+44 g x)\right )+c^4 \left (147 d^2 e^2 x (145 f+129 g x)+d^3 e (12525 f+13433 g x)+3838 d^4 g+21 d e^3 x^2 (675 f+583 g x)+231 e^4 x^3 (15 f+13 g x)\right )\right )}{45045 c^5 e^2 \sqrt{d+e x}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.008, size = 367, normalized size = 1.1 \begin{align*}{\frac{ \left ( 2\,cex+2\,be-2\,cd \right ) \left ( 3003\,g{e}^{4}{x}^{4}{c}^{4}-1848\,b{c}^{3}{e}^{4}g{x}^{3}+12243\,{c}^{4}d{e}^{3}g{x}^{3}+3465\,{c}^{4}{e}^{4}f{x}^{3}+1008\,{b}^{2}{c}^{2}{e}^{4}g{x}^{2}-7686\,b{c}^{3}d{e}^{3}g{x}^{2}-1890\,b{c}^{3}{e}^{4}f{x}^{2}+18963\,{c}^{4}{d}^{2}{e}^{2}g{x}^{2}+14175\,{c}^{4}d{e}^{3}f{x}^{2}-448\,{b}^{3}c{e}^{4}gx+3864\,{b}^{2}{c}^{2}d{e}^{3}gx+840\,{b}^{2}{c}^{2}{e}^{4}fx-11844\,b{c}^{3}{d}^{2}{e}^{2}gx-7140\,b{c}^{3}d{e}^{3}fx+13433\,{c}^{4}{d}^{3}egx+21315\,{c}^{4}{d}^{2}{e}^{2}fx+128\,{b}^{4}{e}^{4}g-1232\,{b}^{3}cd{e}^{3}g-240\,{b}^{3}c{e}^{4}f+4488\,{b}^{2}{c}^{2}{d}^{2}{e}^{2}g+2280\,{b}^{2}{c}^{2}d{e}^{3}f-7222\,b{c}^{3}{d}^{3}eg-8130\,b{c}^{3}{d}^{2}{e}^{2}f+3838\,{c}^{4}{d}^{4}g+12525\,f{d}^{3}{c}^{4}e \right ) }{45045\,{c}^{5}{e}^{2}} \left ( -c{e}^{2}{x}^{2}-b{e}^{2}x-bde+c{d}^{2} \right ) ^{{\frac{5}{2}}} \left ( ex+d \right ) ^{-{\frac{5}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.35112, size = 1185, normalized size = 3.45 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.56204, size = 1933, normalized size = 5.64 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]